/*
    Style sheet for most of the normal pages. Exceptions:  
       1) The start page (index.html) 
       2) The 'folios' section (but not: folios.html)
       3) The Table of Contents (toc.html .. maybe other)
    (The main text font - Verdana - may not work everywhere)

    Modified: 20/04/2016 
*/

p, dl, ul, ol, h1, h2, h3, h4, table, address, blockquote {
      font-family: Verdana;
      margin-right: 128px;
      line-height: 1.35;
   }

div, p, dl, table, address {
      margin-left: 160px;
   }

h1, h2, h3, h4 {
      margin-left: 196px;
   }

ul, ol {
      margin-left: 32px;
   }

a:link, a:visited, a:hover {
      color: #0040FF;
      text-decoration:none;
   }

a:hover {
      border-bottom:3px dotted red;
   }

p {
      font-weight: normal;
      font-size: 10pt;
      margin-top: 4pt;
      margin-bottom: 12pt;
   }

table {
      margin-bottom: 12pt;
   }

blockquote {
      margin-left: 32px;
      font-size: 10pt;
      font-style: italic;
   }

pre {
      margin-left: inherit;
   }

th, td {
      font-size: 10pt;
      margin-top: 8pt;
      margin-bottom: 8pt;
   }

th {
      background-color: #FFFF80;
      font-weight: bold;
   }

li, dt, dd {
      font-size: 10pt;
      margin-top: 0pt;
      margin-bottom: 4pt;
   }

dt {
      float: left;
   }

h1 {
      font-weight: normal;
      font-size: 28pt;
      margin-top: 64px;
      margin-bottom: 0pt;
   }

h2 {
      font-weight: normal;
      font-size: 20pt;
      margin-top: 40pt;
      margin-bottom: 16pt;
   }

h3 {
      font-weight: normal;
      font-style: italic;
      font-size: 16pt;
      margin-top: 8pt;
      margin-bottom: 12pt;
   }

h4 {
      font-weight: normal;
      font-style: italic;
      font-size: 16pt;
      margin-top: 36pt;
      margin-bottom: 12pt;
   }

address {
      margin-top: 48pt;
   }

@font-face {
  font-family: 'EVA Hand 1';
  font-style: normal;
  src: local('EVA Hand 1'), 
       url('Fonts/eva1-webfont.woff') format('woff'),
       url('Fonts/eva1-webfont.ttf') format('truetype');
}

@font-face {
  font-family: 'Voynich';
  font-style: normal;
  src: local('Voynich'), 
       url('Fonts/voynich.woff') format('woff'),
       url('Fonts/voynich.ttf') format('truetype');
}

.Eva {
      font-family: 'EVA Hand 1';
      font-size: 14pt;
   }

.v101 {
      font-family: 'Voynich';
      font-size: 14pt;
   }

.forn {
      font-style: italic;
   }

.hilite {
      font-weight: bold;
      color: #0040A0;
   }

.emph {
      font-weight: bold;
      font-style: italic;
      color: #002060;
   }